Search results for "Petri net"
showing 10 items of 24 documents
Improving the Training Methods for Designers of Flexible Production Cells in Factories of the Future
2020
This work proposes a design method for flexible manufacturing systems (FMS). The method reduces the learning curve by helping employees to solve problems related to the design and optimization of the layout, operation and control of FMS, avoiding the drawbacks of current tools. The approach uses Domain Specific Modeling Languages (DSML) for specification of FMS. The paper presents the definition of the DSML and the implementation of the graphical modeling and simulation tool bringing important contributions to development of the domain through the use of constructions from categories theory for DSML specifications. This mathematical basis allows the definition of constraints to avoid supple…
Autonomous vehicle with communicative driving for pedestrian crossing: Trajectory optimization
2020
Connected and autonomous vehicles (CAV) is a key technology for this century. One of the main challenges is to define a smart interaction behavior of CAV with the other road users. The challenge is mainly raised at conflicting points where path of CAV intersects with the other users. Recent studies show interaction with humans is a big challenge. It not only requires a collision avoidance system but also more communicative behaviors of the CAV. More precisely, pedestrian needs to understand the intention of the incoming CAV whether it will cross first or not according to its speed profile. One way to overcome this issue is to design optimal trajectory control of the CAV that matches with th…
Dual-model approach for safety-critical embedded systems
2020
Abstract The paper presents the design of digital controllers based on two models: the Petri net model, and the UML state machine. These two approaches differ in many aspects of design flow, such as conceptual modelling, and analysis and synthesis. Each of these approaches can be used individually to design an efficient logic controller, and such solutions are well-known, but their interoperability can contribute to a much better understanding of logic controller design and validation. This is especially important in the case of safety- or life-critical embedded systems, and apart from this, a dual-model controller design can make up redundant system increasing its reliability.
Simulation is decidable for one-counter nets
1998
We prove that the simulation preorder is decidable for the class of one-counter nets. A one-counter net consists of a finite-state machine operating on a variable (counter) which ranges over the natural numbers. Each transition can increase or decrease the value of the counter. A transition may not be performed if this implies that the value of the counter becomes negative. The class of one-counter nets is computationally equivalent to the class of Petri nets with one unbounded place, and to the class of pushdown automata where the stack alphabet is restricted to one symbol. To our knowledge, this is the first result in the literature which gives a positive answer to the decidability of sim…
General decidability theorems for infinite-state systems
2002
Over the last few years there has been an increasing research effort directed towards the automatic verification of infinite state systems. This paper is concerned with identifying general mathematical structures which can serve as sufficient conditions for achieving decidability. We present decidability results for a class of systems (called well-structured systems), which consist of a finite control part operating on an infinite data domain. The results assume that the data domain is equipped with a well-ordered and well-founded preorder such that the transition relation is "monotonic" (is a simulation) with respect to the preorder. We show that the following properties are decidable for …
Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets
2008
This paper presents an application example using the lating nestling method for the fault diagnosis based in the use of coloured Petri nets, to a lubrication and cooling system in the wind turbinepsilas gearbox with a critical subsystem as far as failure probability. It demonstrate the synthesis capacity of the method for any model of diagnosis and isolation, giving as opposed to know the contributed advantages other methodologies, as those based in finite state machine.
Latent Nestling Method: A new fault diagnosis methodology for complex systems
2008
This paper presents a new methodology for permanent and intermittent fault diagnosis, named faults latent nestling method (FLNM), using coloured Petri nets (CPNs). CPNs and FLNM method allow for an enhanced capability for synthesis and modelling of complex systems in contrast to the classical phenomena of combinational state explosion when using finite state machine based methods.
Modular fault diagnosis based on discrete event systems for a mixer chemical process
2003
The knowledge of failure type and their location is an indispensable requirement for the establishment of tasks of adequate recovery strategies and maintenance of both factory automation and process control systems. The failure diagnosis methodology presented in the paper is based on discrete event systems models and on the diagnosers concept, those which permit the analysis off-line and online of diagnosability of failures that can occur in the processes. We present an approach for models and associated diagnosers based on a modular decomposition of the global system, with the purpose of avoiding the problems of the exponential explosion of the number of states and of the computational com…
Fault diagnosis with Coloured Petri Nets using Latent Nestling Method
2008
This paper presents a new methodology for permanent and intermittent fault diagnosis, named Faults Latent Nestling Method (FLNM), using Coloured Petri Nets (CPNs). CPNs and FLNM method allow for an enhanced capability for synthesis and modelling in contrast to the classical phenomena of combinational state explosion when using Finite State Machine based methods.
Fault diagnosis and modeling of the liquids packaging process. A research based on Petri Nets
2008
Searching for solutions to manufacture industries, which every day deal with problems of faults in their process, that generate economics and humans main losses, an algorithm to construct a Petri Nets based model and diagnoser to isolate and fault detection of discrete events systems is presented. This algorithm is developed in a real process of liquids packaging, where we can see that its implementation allows detecting individuals, simultaneous and dependents faults. The process to construct the model and diagnoser is systematic and useful, and it reduces the problems of combinational explosion, which is the main problem present in other investigations. This research has an excellent proj…